Extended precision - PDFSEARCH.IO - Document Search Engine

Extended precision
Results: 50

#	Item
11	Theoretical Informatics and Applications Will be set by the publisher Informatique Th´ eorique et Applications Add to Reading List Source URL: www.lri.fr Language: English - Date: 2009-04-03 13:56:10 Computer arithmetic Mathematics Numerical analysis Computing Mathematical analysis Arithmetic Rounding Precision Extended precision IEEE floating point Determinant NaN
12	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan · Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-12-04 07:10:42 Computer arithmetic Computing Computer architecture IEEE floating point Double-precision floating-point format Long double Extended precision C99 Single-precision floating-point format SSE2 Strictfp Normal number
13	Reliable computing with GNU MPFR Paul Zimmermann ´ LORIA/INRIA Nancy-Grand Est, Equipe CARAMEL - bˆ atiment A, Add to Reading List Source URL: www.loria.fr Language: English Computer arithmetic GNU MPFR Rounding Paul Zimmermann GNU Multiple Precision Arithmetic Library SageMath Extended precision Floating point Interval arithmetic GNU Compiler Collection Precision IEEE floating point
14	A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-04-16 09:27:03 Computer arithmetic Computing Software engineering Computer architecture IEEE floating point Double-precision floating-point format Extended precision Processor register Compiler correctness Rounding Fortran Single-precision floating-point format
15	060A-2 Air Temperature Sensor 062 Air Temperature Sensor T-200A Air Temperature Sensor 064 Air Temperature Sensor Met One Instruments’ temperature sensors are precision, extended-range thermistor devices that a Add to Reading List Source URL: www.metone.com Language: English - Date: 2015-01-13 12:58:15
16	AA Technical NoteThe Error in the Double Precision Representation of Julian Dates Approved for Public Release Add to Reading List Source URL: aa.usno.navy.mil Language: English - Date: 2015-05-26 09:50:59 Data types Numbers Binary arithmetic IEEE standards Floating point Double-precision floating-point format Fortran Precision Extended precision Computer arithmetic Computing Arithmetic
17	Floating Point Essentials Third revision - June 2010 © Guido Gybels www.guidogybels.eu Add to Reading List Source URL: www.guidogybels.eu Language: English - Date: 2010-06-17 16:34:35 Computer science Floating point IEEE 754-2008 Fixed-point arithmetic Decimal floating point Rounding NaN Q Extended precision Computer arithmetic Numbers Computing
18	FOR PUBLICATION 1 Extended-Precision Floating-Point Numbers for GPU Computation Add to Reading List Source URL: andrewthall.org Language: English - Date: 2009-07-08 17:59:34 Mathematics Floating point GPGPU Machine epsilon FLOPS Arbitrary-precision arithmetic Double-precision floating-point format CUDA IEEE 754-1985 Computer arithmetic Computing Computer architecture
19	The Hong Kong Polytechnic University at the TREC 2004 Robust Track D.Y. Wang, R.W.P. Luk, K.F. Wong1 Department of Computing The Hong Kong Polytechnic University 1 Add to Reading List Source URL: trec.nist.gov Language: English WordNet Vector space model Query expansion Relevance feedback Word-sense disambiguation Document retrieval Extended Boolean model Precision and recall Natural language processing Information science Information retrieval Science
20	Robust, Web and Terabyte Retrieval with Hummingbird SearchServerTM at TREC 2004 Stephen Tomlinson Hummingbird Ottawa, Ontario, Canada Add to Reading List Source URL: trec.nist.gov Language: English Search engine indexing Precision and recall Document retrieval Tf*idf Enterprise search Extended Boolean model Relevance feedback Information science Information retrieval Relevance